Language-based system

Results: 412



#Item
71ExecRecorder: VM-Based Full-System Replay for Attack Analysis and System Recovery Daniela A. S. de Oliveira S. Felix Wu  Jedidiah R. Crandall

ExecRecorder: VM-Based Full-System Replay for Attack Analysis and System Recovery Daniela A. S. de Oliveira S. Felix Wu Jedidiah R. Crandall

Add to Reading List

Source URL: seclab.cs.ucdavis.edu

Language: English - Date: 2007-02-21 19:48:12
72General Purpose Simulation System based on Excel Language

General Purpose Simulation System based on Excel Language

Add to Reading List

Source URL: www.mssanz.org.au

Language: English - Date: 2013-01-15 22:31:24
73Type Based Discretionary Access Control? Michele Bugliesi, Dario Colazzo, and Silvia Crafa Universit`a Ca’ Foscari, Venezia Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource

Type Based Discretionary Access Control? Michele Bugliesi, Dario Colazzo, and Silvia Crafa Universit`a Ca’ Foscari, Venezia Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource

Add to Reading List

Source URL: www.dsi.unive.it

Language: English - Date: 2005-06-07 06:54:08
74Extracting Elements of Component-based Systems from Natural Language Requirements Kung-Kiu Lau, Azlin Nordin and Keng-Yap Ng School of Computer Science, The University of Manchester, Manchester M13 9PL, UK Email: {kung-k

Extracting Elements of Component-based Systems from Natural Language Requirements Kung-Kiu Lau, Azlin Nordin and Keng-Yap Ng School of Computer Science, The University of Manchester, Manchester M13 9PL, UK Email: {kung-k

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2011-05-23 05:23:09
75 e-Tests Types of e-Tests There are over 1,000 online assessments and tests in the extralearning system. These computerized e-tests are easy to administer, score and analyze, thus minimizing training and staff developme

 e-Tests Types of e-Tests There are over 1,000 online assessments and tests in the extralearning system. These computerized e-tests are easy to administer, score and analyze, thus minimizing training and staff developme

Add to Reading List

Source URL: www.extralearning.org

Language: English - Date: 2008-12-28 22:59:00
76Modelling software architectures Using CRADLE

Modelling software architectures Using CRADLE

Add to Reading List

Source URL: www.mssanz.org.au

Language: English - Date: 2013-01-16 21:23:13
77Verified Component-based Software in SPARK: Experimental Results for a Missile Guidance System Kung-Kiu Lau and Zheng Wang School of Computer Science, The University of Manchester Oxford Road, Manchester M13 9PL, United

Verified Component-based Software in SPARK: Experimental Results for a Missile Guidance System Kung-Kiu Lau and Zheng Wang School of Computer Science, The University of Manchester Oxford Road, Manchester M13 9PL, United

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2007-11-27 20:49:10
78Notebook Paper TREC 2005 Genomics Track  A Concept-Based Approach to Text Categorization Bob J.A. Schijvenaars, Martijn J. Schuemie, Erik M. van Mulligen, Marc Weeber, Rob Jelier, Barend Mons, Jan A. Kors Department of M

Notebook Paper TREC 2005 Genomics Track A Concept-Based Approach to Text Categorization Bob J.A. Schijvenaars, Martijn J. Schuemie, Erik M. van Mulligen, Marc Weeber, Rob Jelier, Barend Mons, Jan A. Kors Department of M

Add to Reading List

Source URL: trec.nist.gov

Language: English - Date: 2006-02-21 09:28:36
79FDUQA on TREC2003 QA task Lide Wu, Xuanjing Huang, Yaqian Zhou, Yongping Du, Lan You Fudan University, Shanghai, China 1 Introduction It is the fourth time that we take part in the QA track. Our system, FDUQA, is based o

FDUQA on TREC2003 QA task Lide Wu, Xuanjing Huang, Yaqian Zhou, Yongping Du, Lan You Fudan University, Shanghai, China 1 Introduction It is the fourth time that we take part in the QA track. Our system, FDUQA, is based o

Add to Reading List

Source URL: trec.nist.gov

Language: English - Date: 2004-02-12 14:07:07
80Concepts and Methods for Rule-Based Web Cartography SCO Technical Paper  Version History

Concepts and Methods for Rule-Based Web Cartography SCO Technical Paper Version History

Add to Reading List

Source URL: www.sco.wisc.edu

Language: English - Date: 2011-08-29 13:32:58